Klarlund, Nils: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Relativizations for the Logic-Automata Connection

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 1.53 MB

english, 2005

2

Progress measures, immediate determinacy, and a subset construction for tree automata

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 1.84 MB

english, 1994

3

DART

Godefroid, Patrice, Klarlund, Nils, Sen, Koushik

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

4

Regularity Results for FIFO Channels

Nils Klarlund, Richard Trefler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

5

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Algorithmic Analysis of Piecewise FIFO Systems

Ghafari, Nagh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Year:

2007

Language:

english

File:

PDF, 245 KB

english, 2007

6

The DSD Schema Language

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 160 KB

english, 2002

7

[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - DSD

Klarlund, Nils, Moller, Anders, Schwartzbach, Michael I.

Year:

2000

Language:

english

File:

PDF, 371 KB

english, 2000

8

Automatic verification of pointer programs using monadic second-order logic

Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

9

An n log n Algorithm for Online BDD Refinement

Journal:

Journal of Algorithms

Year:

1999

Language:

english

File:

PDF, 177 KB

english, 1999

10

[ACM Press the fifteenth annual ACM symposium - Philadelphia, Pennsylvania, United States (1996.05.23-1996.05.26)] Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 - Automated logical verification based on trace abstractions

Klarlund, Nils, Nielsen, Mogens, Sunesen, Kim

Year:

1996

Language:

english

File:

PDF, 838 KB

english, 1996

11

MONA IMPLEMENTATION SECRETS

KLARLUND, NILS, MØLLER, ANDERS, SCHWARTZBACH, MICHAEL I.

Journal:

International Journal of Foundations of Computer Science

Year:

2002

Language:

english

File:

PDF, 2.51 MB

english, 2002

12

Reachability Problems in Piecewise FIFO Systems

Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 751 KB

english, 2012

13

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Graph types

Klarlund, Nils, Schwartzbach, Michael I.

Year:

1993

Language:

english

File:

PDF, 828 KB

english, 1993

14

[ACM Press the 11th ACM SIGPLAN conference - San Jose, California, United States (1996.10.06-1996.10.10)] Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '96 - Formal design constraints

Klarlund, Nils, Koistinen, Jari, Schwartzbach, Michael I.

Year:

1996

Language:

english

File:

PDF, 1.43 MB

english, 1996

15

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - DART

Godefroid, Patrice, Klarlund, Nils, Sen, Koushik

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

16

[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Automatic verification of pointer programs using monadic second-order logic

Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

17

Formal design constraints

Klarlund, Nils, Koistinen, Jari, Schwartzbach, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.43 MB

english, 1996

18

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Algorithmic Analysis of Piecewise FIFO Systems

Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Year:

2007

Language:

english

File:

PDF, 245 KB

english, 2007

19

[ACM Press the eleventh annual ACM symposium - Vancouver, British Columbia, Canada (1992.08.10-1992.08.12)] Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 - Progress measures and stack assertions for fair termination

Year:

1992

Language:

english

File:

PDF, 1.06 MB

english, 1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски